Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·8h
🪢Rope Data Structures
Algebraic Types are not Scary
blog.aiono.dev·6h·
Discuss: Lobsters, Hacker News
✅Type Checking
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·13h·
Discuss: Lobsters, Hacker News
🌱Minimal ML
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·21h·
Discuss: Hacker News
⚡functional programming
Semantic Dictionary Encoding
falvotech.com·2h·
Discuss: Hacker News
🗂️Type Indexing
RustGPT: A pure-Rust transformer LLM built from scratch
dev.to·4h·
Discuss: DEV
🏗️Cranelift
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·19h·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·4d·
Discuss: Hacker News
🎭Racket Modules
Faux Type Theory: three minimalist OCaml simple proof checker implementations
github.com·2d·
Discuss: Hacker News
🎯Type Theory
Issue 489
haskellweekly.news·4d·
Discuss: Hacker News
👑Dependent Haskell
The pirate-based logic of Rust shared references
ais523.me.uk·22h·
Discuss: Lobsters, Hacker News
🔒Rust Borrowing
original ↗
blog.djnavarro.net·1d
📝Rope Editors
Death to Type Classes
jappie.me·3d·
Discuss: Hacker News
🐪OCaml
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·2h·
Discuss: www.blogger.com
🔮Lisp Interpreters
LLM-Based Instance-Driven Heuristic Bias In the Context of a Biased Random Key Genetic Algorithm
arxiv.org·13h
🔍ML Language
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·4d·
Discuss: Hacker News
🔮Type Inference Visualization
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·4h·
Discuss: Hacker News
🌱Minimal Lisps
Quiz: What Does -> Mean in Python Function Definitions?
realpython.com·5h
🌊Gradual Typing
List Vs. Tuple: Understanding The Differences In Python - Maine News Online
mainenewsonline.com·9h
🐍CPython Internals
I built an LLM from Scratch in Rust (Just ndarray and rand)
reddit.com·1d·
Discuss: r/rust
🦀MIR Optimization